\relax 
\@writefile{toc}{\contentsline {chapter}{\numberline {2}$\pi $SOD-M: A Methodology for Building Reliable Service Based Applications}{32}}
\newlabel{chapter:methodology}{{2}{32}}
\citation{valeriaThesis}
\citation{valeriaThesis}
\citation{Espinosa-OviedoVZC09}
\citation{Espinosa-Oviedo2011a}
\citation{BaCAM05}
\citation{Placido2010LTPD}
\@writefile{toc}{\contentsline {section}{\numberline {2.1}$\pi $SOD-M}{33}}
\newlabel{sec:pisodm}{{2.1}{33}}
\@writefile{lof}{\contentsline {figure}{\numberline {5}{\ignorespaces SOD-M Extension Models.\relax }}{34}}
\newlabel{fig:sodmExtensions}{{5}{34}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.1}Development Process}{34}}
\@writefile{lof}{\contentsline {figure}{\numberline {6}{\ignorespaces $\pi $SOD-M Development Process and Models.\relax }}{35}}
\newlabel{fig:developmentProcess}{{6}{35}}
\citation{Placido2010LTPD}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.2}Methodology Concepts}{36}}
\newlabel{sec:concepts}{{2.1.2}{36}}
\@writefile{lof}{\contentsline {figure}{\numberline {7}{\ignorespaces $\pi $SOD-M Concepts.\relax }}{39}}
\newlabel{fig:pisodm-concepts}{{7}{39}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.1.3}Case Study}{41}}
\newlabel{sec:example}{{2.1.3}{41}}
\@writefile{lof}{\contentsline {figure}{\numberline {8}{\ignorespaces Use Case Model ``\textit  {To Publish Music}'' - Spotify Music Service.\relax }}{42}}
\newlabel{fig:example_usecase}{{8}{42}}
\@writefile{lof}{\contentsline {figure}{\numberline {9}{\ignorespaces Service Process Model ``To Publish Music''\relax }}{42}}
\newlabel{fig:example_serviceprocess}{{9}{42}}
\citation{CastroMV11}
\citation{PapazoglouH06}
\citation{sommerville08}
\citation{Gervais02}
\citation{somf}
\citation{MilanovicM06}
\@writefile{toc}{\contentsline {section}{\numberline {2.2}Platform Independent Models}{43}}
\newlabel{sec:pim-pisodm}{{2.2}{43}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.1}\textit  {$\pi $-UseCase} Model}{44}}
\@writefile{lof}{\contentsline {figure}{\numberline {10}{\ignorespaces $\pi $-UseCase Meta-model.\relax }}{45}}
\newlabel{fig:usecasemodel}{{10}{45}}
\newlabel{fig:piusecase1}{{11a}{46}}
\newlabel{sub@fig:piusecase1}{{(a)}{a}}
\newlabel{fig:piusecase2}{{11b}{46}}
\newlabel{sub@fig:piusecase2}{{(b)}{b}}
\newlabel{fig:piusecase3}{{11c}{46}}
\newlabel{sub@fig:piusecase3}{{(c)}{c}}
\@writefile{lof}{\contentsline {figure}{\numberline {11}{\ignorespaces \textit  {$\pi $-UseCase} Model Representation\relax }}{46}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Use Case} and \textit {Actor} Model}}}{46}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Extended Use Case} Model}}}{46}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Include Use Case} Model}}}{46}}
\newlabel{fig:piuse_representation1}{{11}{46}}
\newlabel{fig:piusecase4}{{12a}{47}}
\newlabel{sub@fig:piusecase4}{{(a)}{a}}
\newlabel{fig:piusecase5}{{12b}{47}}
\newlabel{sub@fig:piusecase5}{{(b)}{b}}
\newlabel{fig:piusecase6}{{12c}{47}}
\newlabel{sub@fig:piusecase6}{{(c)}{c}}
\@writefile{lof}{\contentsline {figure}{\numberline {12}{\ignorespaces \textit  {$\pi $-UseCase} Model Representation (2)\relax }}{47}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Package} Model}}}{47}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Use Case}, \textit {Requirement} and \textit {Non-Functional Requirement} Model}}}{47}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Constraint} Model}}}{47}}
\newlabel{fig:piuse_representation2}{{12}{47}}
\@writefile{lof}{\contentsline {figure}{\numberline {13}{\ignorespaces $\pi $-UseCase Scenario Example.\relax }}{48}}
\newlabel{fig:usecasemodelpackages}{{13}{48}}
\@writefile{lof}{\contentsline {figure}{\numberline {14}{\ignorespaces Use Case Model With Constraint Definition - Scenario Example Refined.\relax }}{49}}
\newlabel{fig:usecaseContraint}{{14}{49}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.2}\textit  {$\pi $-ServiceProcess} Model}{50}}
\@writefile{lof}{\contentsline {figure}{\numberline {15}{\ignorespaces $\pi $-ServiceProcess Meta-model.\relax }}{51}}
\newlabel{fig:serviceprocess}{{15}{51}}
\newlabel{fig:pisp1}{{16a}{52}}
\newlabel{sub@fig:pisp1}{{(a)}{a}}
\newlabel{fig:pisp2}{{16b}{52}}
\newlabel{sub@fig:pisp2}{{(b)}{b}}
\newlabel{fig:pisp3}{{16c}{52}}
\newlabel{sub@fig:pisp3}{{(c)}{c}}
\newlabel{fig:pisp4}{{16d}{52}}
\newlabel{sub@fig:pisp4}{{(d)}{d}}
\newlabel{fig:pisp5}{{16e}{52}}
\newlabel{sub@fig:pisp5}{{(e)}{e}}
\@writefile{lof}{\contentsline {figure}{\numberline {16}{\ignorespaces \textit  {$\pi $-ServiceProcess} Model Representation\relax }}{52}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Assertion} Model}}}{52}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Contract} Model}}}{52}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Exceptional Behaviour} Model}}}{52}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {\textit {Action} Model}}}{52}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(e)}{\ignorespaces {\textit {Service Activity} Model}}}{52}}
\newlabel{fig:pisp_representation}{{16}{52}}
\newlabel{fig:pisp6}{{17a}{53}}
\newlabel{sub@fig:pisp6}{{(a)}{a}}
\newlabel{fig:pisp7}{{17b}{53}}
\newlabel{sub@fig:pisp7}{{(b)}{b}}
\newlabel{fig:pisp8}{{17c}{53}}
\newlabel{sub@fig:pisp8}{{(c)}{c}}
\@writefile{lof}{\contentsline {figure}{\numberline {17}{\ignorespaces \textit  {$\pi $-ServiceProcess} Model Representation (2)\relax }}{53}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Control Nodes} Model}}}{53}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Activity Edge - Control Flow} Model}}}{53}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Activity Edge - Control Object} Model}}}{53}}
\newlabel{fig:pisp_representation2}{{17}{53}}
\@writefile{lof}{\contentsline {figure}{\numberline {18}{\ignorespaces Service Process Model with Contract Definition\relax }}{54}}
\newlabel{fig:serviceprocessContractPart}{{18}{54}}
\@writefile{lof}{\contentsline {figure}{\numberline {19}{\ignorespaces Service Process Model with Contract Definition - Complete Example.\relax }}{55}}
\newlabel{fig:serviceprocessContract}{{19}{55}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.2.3}$\pi $-ServiceComposition Model}{56}}
\@writefile{lof}{\contentsline {figure}{\numberline {20}{\ignorespaces $\pi $ServiceComposition Meta-model.\relax }}{57}}
\newlabel{fig:servicecomposition}{{20}{57}}
\newlabel{fig:pisc1}{{21a}{59}}
\newlabel{sub@fig:pisc1}{{(a)}{a}}
\newlabel{fig:pisc2}{{21b}{59}}
\newlabel{sub@fig:pisc2}{{(b)}{b}}
\newlabel{fig:pisc3}{{21c}{59}}
\newlabel{sub@fig:pisc3}{{(c)}{c}}
\newlabel{fig:pisc4}{{21d}{59}}
\newlabel{sub@fig:pisc4}{{(d)}{d}}
\@writefile{lof}{\contentsline {figure}{\numberline {21}{\ignorespaces \textit  {$\pi $-ServiceComposition} Model\relax }}{59}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {\textit {Service Activity} and \textit {Business Collaborator} Model}}}{59}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {\textit {Policy} and \textit {Rule} Model}}}{59}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {\textit {Business Collaborator - External false} Model}}}{59}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {\textit {Business Collaborator - External true} Model}}}{59}}
\newlabel{fig:picomposition_representation}{{21}{59}}
\@writefile{lof}{\contentsline {figure}{\numberline {22}{\ignorespaces Service Composition Model with Policy Definition - Spotify Music Service.\relax }}{60}}
\newlabel{fig:servicecompositionPolicy}{{22}{60}}
\citation{BaAM06}
\citation{Placido2010LTPD}
\@writefile{toc}{\contentsline {section}{\numberline {2.3}$\pi $-PEWS Platform Specific Models}{61}}
\newlabel{sec:psm-pisodm}{{2.3}{61}}
\@writefile{lof}{\contentsline {figure}{\numberline {23}{\ignorespaces $\pi $-PEWS Meta-model.\relax }}{62}}
\newlabel{fig:metamodel}{{23}{62}}
\@writefile{toc}{\contentsline {section}{\numberline {2.4}Models Transformation}{63}}
\newlabel{sec:models-tranformation}{{2.4}{63}}
\newlabel{fig:rule01}{{24a}{64}}
\newlabel{sub@fig:rule01}{{(a)}{a}}
\newlabel{fig:rule02}{{24b}{64}}
\newlabel{sub@fig:rule02}{{(b)}{b}}
\newlabel{fig:rule03}{{24c}{64}}
\newlabel{sub@fig:rule03}{{(c)}{c}}
\newlabel{fig:rule04}{{24d}{64}}
\newlabel{sub@fig:rule04}{{(d)}{d}}
\newlabel{fig:rule05}{{24e}{64}}
\newlabel{sub@fig:rule05}{{(e)}{e}}
\newlabel{fig:rule06}{{24f}{64}}
\newlabel{sub@fig:rule06}{{(f)}{f}}
\@writefile{lof}{\contentsline {figure}{\numberline {24}{\ignorespaces Entities' Model Transformation Rules\relax }}{64}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From one A to one B}}}{64}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From many A to many B}}}{64}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {From many A to one B}}}{64}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {From one A to one B, and one C}}}{64}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(e)}{\ignorespaces {From many A to many B, and one C}}}{64}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(f)}{\ignorespaces {From many A to many B, and one C}}}{64}}
\newlabel{fig:rules}{{24}{64}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.1}From $\pi $-UseCase to $\pi $-ServiceProcess}{65}}
\@writefile{lot}{\contentsline {table}{\numberline {4}{\ignorespaces Transformation Rules: From $\pi $-UseCase to $\pi $-ServiceProcess\relax }}{66}}
\newlabel{tab:transformationUseCaseToServiceProcess}{{4}{66}}
\newlabel{fig:trans01}{{25a}{67}}
\newlabel{sub@fig:trans01}{{(a)}{a}}
\newlabel{fig:trans02}{{25b}{67}}
\newlabel{sub@fig:trans02}{{(b)}{b}}
\newlabel{fig:trans03}{{25c}{67}}
\newlabel{sub@fig:trans03}{{(c)}{c}}
\newlabel{fig:trans04}{{25d}{67}}
\newlabel{sub@fig:trans04}{{(d)}{d}}
\@writefile{lof}{\contentsline {figure}{\numberline {25}{\ignorespaces $\pi $-UseCase2$\pi $-ServiceProcess Model Transformation Rules\relax }}{67}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From \textit {Use Case} and \textit {Constraint} to \textit {Action} and \textit {Contract}}}}{67}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From \textit {Constraint} to \textit {Contract} (2)}}}{67}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {From \textit {Composite Use Case} to \textit {Service Activity}}}}{67}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {From \textit {Requirements} to \textit {Service Activity}}}}{67}}
\newlabel{fig:modelRulesUS2SP}{{25}{67}}
\newlabel{fig:trans05}{{26a}{68}}
\newlabel{sub@fig:trans05}{{(a)}{a}}
\newlabel{fig:trans06}{{26b}{68}}
\newlabel{sub@fig:trans06}{{(b)}{b}}
\@writefile{lof}{\contentsline {figure}{\numberline {26}{\ignorespaces $\pi $-UseCase2$\pi $-ServiceProcess Model Transformation Rules (2)\relax }}{68}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From \textit {Extend} to \textit {Fork/Join Flow}}}}{68}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From \textit {Include} to \textit {Activity Node Flow}}}}{68}}
\newlabel{fig:modelRulesUS2SP2}{{26}{68}}
\newlabel{fig:extend01}{{27a}{69}}
\newlabel{sub@fig:extend01}{{(a)}{a}}
\newlabel{fig:extend02}{{27b}{69}}
\newlabel{sub@fig:extend02}{{(b)}{b}}
\newlabel{fig:servProc01}{{27c}{69}}
\newlabel{sub@fig:servProc01}{{(c)}{c}}
\newlabel{fig:servProc02}{{27d}{69}}
\newlabel{sub@fig:servProc02}{{(d)}{d}}
\@writefile{lof}{\contentsline {figure}{\numberline {27}{\ignorespaces Extended Transformation Examples\relax }}{69}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {Extended Use Case Example}}}{69}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {Extended Use Case Example (2)}}}{69}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {Equivalent Service Process Workflow}}}{69}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(d)}{\ignorespaces {Equivalent Service Process Workflow (2)}}}{69}}
\newlabel{fig:modelRulesUS2SP}{{27}{69}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.2}From $\pi $-ServiceProcess to $\pi $-ServiceComposition}{69}}
\@writefile{lot}{\contentsline {table}{\numberline {5}{\ignorespaces Transformation Rules: From $\pi $-ServiceProcess to $\pi $-ServiceComposition\relax }}{71}}
\newlabel{tab:transformationServiceProcessToComposition}{{5}{71}}
\newlabel{fig:trans07}{{28a}{71}}
\newlabel{sub@fig:trans07}{{(a)}{a}}
\newlabel{fig:trans08}{{28b}{71}}
\newlabel{sub@fig:trans08}{{(b)}{b}}
\newlabel{fig:trans09}{{28c}{71}}
\newlabel{sub@fig:trans09}{{(c)}{c}}
\@writefile{lof}{\contentsline {figure}{\numberline {28}{\ignorespaces $\pi $-ServiceProcess2$\pi $-ServiceComposition Model Transformation Rules\relax }}{71}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(a)}{\ignorespaces {From \textit {Contract} and \textit {Assertion} to \textit {Policy} and \textit {Rule}}}}{71}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(b)}{\ignorespaces {From \textit {Action} to \textit {Service Activity} (2)}}}{71}}
\@writefile{lof}{\contentsline {subfigure}{\numberline{(c)}{\ignorespaces {From \textit {Exceptional Behaviour} to \textit {Action}}}}{71}}
\newlabel{fig:modelRulesSp2SC}{{28}{71}}
\@writefile{toc}{\contentsline {subsection}{\numberline {2.4.3}From $\pi $-ServiceComposition to $\pi $-PEWS}{72}}
\@writefile{toc}{\contentsline {section}{\numberline {2.5}Conclusions}{73}}
\newlabel{sec:pisodm_conclusion}{{2.5}{73}}
\@writefile{lot}{\contentsline {table}{\numberline {6}{\ignorespaces Transformation Rules: From $\pi $-ServiceComposition to $\pi $-PEWS\relax }}{74}}
\newlabel{tab:transformationServiceCompositionToPEWS}{{6}{74}}
\@setckpt{chapters/methodology/methodology}{
\setcounter{page}{75}
\setcounter{equation}{0}
\setcounter{enumi}{5}
\setcounter{enumii}{0}
\setcounter{enumiii}{0}
\setcounter{enumiv}{0}
\setcounter{footnote}{6}
\setcounter{mpfootnote}{0}
\setcounter{part}{0}
\setcounter{chapter}{2}
\setcounter{section}{5}
\setcounter{subsection}{0}
\setcounter{subsubsection}{0}
\setcounter{paragraph}{0}
\setcounter{subparagraph}{0}
\setcounter{figure}{28}
\setcounter{table}{6}
\setcounter{lstnumber}{1}
\setcounter{parentequation}{0}
\setcounter{ContinuedFloat}{0}
\setcounter{KVtest}{0}
\setcounter{subfigure}{0}
\setcounter{subfigure@save}{3}
\setcounter{lofdepth}{1}
\setcounter{subtable}{0}
\setcounter{subtable@save}{0}
\setcounter{lotdepth}{1}
\setcounter{r@tfl@t}{0}
\setcounter{regraA}{1}
\setcounter{regraB}{1}
\setcounter{lstlisting}{0}
}
